@string{ic="Information and Computation"}
%@string{lncs="Lect. Notes Comp. Sci."}
@string{lncs="LNCS"}


@inproceedings{SchmittS04,
  author    = {Alan Schmitt and
               Jean-Bernard Stefani},
  title     = {The Kell Calculus: A Family of Higher-Order Distributed
               Process Calculi},
  booktitle = {Proc. of Global Computing},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {3267},
  year      = {2004},
  pages     = {146-178}
}

@inproceedings{LengletSS09,
  author    = {Sergue\"{\i} Lenglet and
               Alan Schmitt and
               Jean-Bernard Stefani},
  title     = {Normal Bisimulations in Calculi with Passivation},
  booktitle = {Proc. of FOSSACS},
  year      = {2009},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5504},
  pages     = {257-271},
  ee        = {http://dx.doi.org/10.1007/978-3-642-00596-1_19},
  }



@article{CardelliG00,
  author    = {Luca Cardelli and
               Andrew D. Gordon},
  title     = {Mobile ambients},
  journal   = {Theor. Comput. Sci.},
  volume    = {240},
  number    = {1},
  year      = {2000},
  pages     = {177-213},
  ee        = {http://dx.doi.org/10.1016/S0304-3975(99)00231-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{MaffeisP05,
  author    = {Sergio Maffeis and
               Iain Phillips},
  title     = {On the computational strength of pure ambient calculi},
  journal   = {Theor. Comput. Sci.},
  volume    = {330},
  number    = {3},
  year      = {2005},
  pages     = {501-551},
  ee        = {http://dx.doi.org/10.1016/j.tcs.2004.10.007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{CollbergT02,
  author    = {Christian S. Collberg and
               Clark D. Thomborson},
  title     = {Watermarking, Tamper-Proofing, and Obfuscation-Tools for
               Software Protection},
  journal   = {IEEE Trans. Software Eng.},
  volume    = {28},
  number    = {8},
  year      = {2002},
  pages     = {735-746},
  ee        = {http://www.computer.org:80/tse/ts2002/e0735abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{NeculaL98,
  author    = {George C. Necula and
               Peter Lee},
  title     = {Safe, Untrusted Agents Using Proof-Carrying Code},
  booktitle = {Mobile Agents and Security},
  series    = {Lecture Notes in Computer Science},
  volume    = {1419},
  year      = {1998},
  publisher = {Springer},
  pages     = {61-91},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/1419/14190061.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


 	@InProceedings{Bundgaard08,
  author = 	 {Mikkel Bundgaard and Jens Chr. Godskesen and Bjorn Haagensen and Hans Huttel},
  title = 	 {Decidable Fragments of a Higher Order Calculus with Locations},
  booktitle = 	 {Proc. of EXPRESS'08.},
 series = 	 {Electronic Notes in Theoretical Computer Science},
  publisher = {Elsevier.},
  note = 	 {To appear.},
}


			 


@Article{Bravetti09,
  author = 	 {Mario Bravetti and Gianluigi Zavattaro},
  title = 	 {On the Expressive Power of Process Interruption and Compensation},
  journal = 	 {Mathematical Structures in Computer Science},
  year = 	 {2009},
  note = 	 {To appear.},
}



@Article{Busi09,
  author = 	 {Nadia Busi and Maurizio Gabbrielli and  Gianluigi Zavattaro},
  title = 	 {On the Expressive Power of Recursion, Replication, and Iteration in Process Calculi},
  journal = 	 {Mathematical Structures in Computer Science},
  year = 	 {2009},
  note = 	 {To appear. A preliminary version appeared in the Proc. of ICALP'04.},
}

@Article{Higman52,
  author = 	 {Graham Higman},
  title = 	 {Ordering by divisibility in abstract algebras},
  journal = 	 {Proceedings of the London Mathematical Society (3)},
  year = 	 {1952},
  volume = 	 {2},
  number = 	 {7},
  pages = 	 {326--336},
  Tmonth = 	 {Sep},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@article{FinkelS01,
  author    = {Alain Finkel and
               Ph. Schnoebelen},
  title     = {Well-structured transition systems everywhere!},
  journal   = {Theor. Comput. Sci.},
  volume    = {256},
  number    = {1-2},
  year      = {2001},
  pages     = {63-92},
  ee        = {http://dx.doi.org/10.1016/S0304-3975(00)00102-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{AmadioCS98,
  author    = {Roberto M. Amadio and
               Ilaria Castellani and
               Davide Sangiorgi},
  title     = {On Bisimulations for the Asynchronous pi-Calculus},
  journal   = {Theor. Comput. Sci.},
  volume    = {195},
  number    = {2},
  year      = {1998},
  pages     = {291-324},
  ee        = {http://dx.doi.org/10.1016/S0304-3975(97)00223-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{NielsenPV02,
  author    = {Mogens Nielsen and
               Catuscia Palamidessi and
               Frank D. Valencia},
  title     = {On the expressive power of temporal concurrent constraint
               programming languages},
  booktitle = {Proc. of PPDP},
  year      = {2002},
  publisher = {ACM},
  pages     = {156-167},
  ee        = {http://doi.acm.org/10.1145/571157.571173},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@inproceedings{CharatonikT01,
  author    = {Witold Charatonik and
               Jean-Marc Talbot},
  title     = {The Decidability of Model Checking Mobile Ambients},
  booktitle = {Proc. of CSL},
  year      = {2001},
  pages     = {339-354},
  publisher = {Springer},
  series    = lncs,
  volume    = {2142},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2142/21420339.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@article{ShepherdsonS63,
  author    = {John C. Shepherdson and
               Howard E. Sturgis},
  title     = {Computability of Recursive Functions},
  journal   = {J. ACM},
  volume    = {10},
  number    = {2},
  year      = {1963},
  pages     = {217-255},
  ee        = {http://doi.acm.org/10.1145/321160.321170},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@Article{db,
  author = 	 {De Bruijn, Nicolaas Govert},
  title = 	 {Lambda Calculus Notation with Nameless Dummies: A Tool for Automatic Formula Manipulation, with Application to the Church-Rosser Theorem},
  journal = 	 { Indagationes Mathematicae},
  year = 	 {1972},
  OPTkey = 	 {},
  volume = 	 {34},
  OPTnumber = 	 {},
  pages = 	 {381--392},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}





@inproceedings{SangiorgiKS07,
  author    = {Davide Sangiorgi and
               Naoki Kobayashi and
               Eijiro Sumii},
  title     = {Environmental Bisimulations for Higher-Order Languages},
  booktitle = {Proc. of LICS'07},
  year      = {2007},
  pages     = {293-302},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/LICS.2007.17},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  publisher = {IEEE Computer Society},
}

@inproceedings{Cao06,
  author    = {Zining Cao},
  title     = {More on Bisimulations for Higher Order {\it Pi}-Calculus},
  booktitle = {Proc. of FoSSaCS'06},
  year      = {2006},
  pages     = {63-78},
  ee        = {http://dx.doi.org/10.1007/11690634_5},
  bibsource = {DBLP, http://dblp.uni-trier.de}, 
  publisher = {Springer},
  series    = lncs,
  volume    = {3921},
}

@article{BugliesiCMS05,
  author    = {Michele Bugliesi and
               Silvia Crafa and
               Massimo Merro and
               Vladimiro Sassone},
  title     = {Communication and mobility control in boxed ambients},
  journal   = {Inf. Comput.},
  volume    = {202},
  number    = {1},
  year      = {2005},
  pages     = {39-86},
  ee        = {http://dx.doi.org/10.1016/j.ic.2005.06.002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@TechReport{Mikkel08,
  author = 	 {Mikkel Bundgaard and Jens Chr. Godskesen and Thomas Hildebrandt},
  title = 	 {On Encoding the Pi-calculus in Higher-Order Calculi},
  institution =  {IT University of Copenhagen},
  year = 	 {2008},
  OPTkey = 	 {},
  OPTtype = 	 {},
  number = 	 {TR-2008-106},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@TechReport{Mikkel04,
  author = 	 {Mikkel Bundgaard and Jens Chr. Godskesen and Thomas Hildebrandt},
  title = 	 { Bisimulation Congruences for {Homer} --- a Calculus of Higher Order Mobile Embedded Resources},
  institution =  {Univ. of Copenhagen},
  year = 	 {2004},
  OPTkey = 	 {},
  OPTtype = 	 {},
  number = 	 {TR-2004-52},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}


@article{BundgaardHG06,
  author    = {Mikkel Bundgaard and
               Thomas T. Hildebrandt and
               Jens Chr. Godskesen},
  title     = {A CPS encoding of name-passing in Higher-order mobile embedded
               resources},
  journal   = {Theor. Comput. Sci.},
  volume    = {356},
  number    = {3},
  year      = {2006},
  pages     = {422-439},
  ee        = {http://dx.doi.org/10.1016/j.tcs.2006.02.006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@PhdThesis{Xu07,
  author = 	 {Xian Xu},
  title = 	 {On the Bisimulation Theory and Axiomatization
        of Higher-order Process Calculi},
  school = 	 {Shanghai Jiao Tong University},
  year = 	 {2007},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@inproceedings{PhillipsV04,
  author    = {Iain Phillips and
               Maria Grazia Vigliotti},
  title     = {Electoral Systems in Ambient Calculi},
  booktitle = {Proc. of FoSSaCS'04},
  year      = {2004},
  pages     = {408--422},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2987{\&}spage=408},
  publisher = {Springer},
  series    = lncs,
  volume    = {2987},
}

@article{PhillipsV08,
  author    = {Iain Phillips and
               Maria Grazia Vigliotti},
  title     = {Symmetric electoral systems for ambient calculi},
  journal   = {Inf. Comput.},
  volume    = {206},
  number    = {1},
  year      = {2008},
  pages     = {34-72},
  ee        = {http://dx.doi.org/10.1016/j.ic.2007.08.005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{KuceraJ06,
  author    = {Anton\'{\i}n Ku\v{c}era and
               Petr Jan\v{c}ar},
  title     = {Equivalence-checking on infinite-state systems: Techniques
               and results},
  journal   = {TPLP},
  volume    = {6},
  number    = {3},
  year      = {2006},
  pages     = {227-264},
  ee        = {http://dx.doi.org/10.1017/S1471068406002651},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Jancar95,
  author    = {Petr Jan\v{c}ar},
  title     = {Undecidability of Bisimilarity for {P}etri Nets and Some Related
               Problems},
  journal   = {Theor. Comput. Sci.},
  volume    = {148},
  number    = {2},
  year      = {1995},
  pages     = {281-301},
  ee        = {http://dx.doi.org/10.1016/0304-3975(95)00037-W},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@Book{Sipser05,
  author = 	 {Michael Sipser},
  title = 	 {Introduction to the Theory of Computation},
  publisher = 	 {PWS Publishing Company},
  year = 	 {2005},
}

@inproceedings{Schnoebelen01,
  author    = {Philippe Schnoebelen},
  title     = {Bisimulation and Other Undecidable Equivalences for Lossy
               Channel Systems},
  booktitle = {Proc. of TACS'01},
  year      = {2001},
  pages     = {385--399},
  publisher = {Springer},
  series    = lncs,
  volume    = {2215},
}



@article{Finkel94,
  	author =	{Finkel, Alain},
  	DOI =	{10.1007/BF02277857},
  	journal =	{Distributed Computing},
  	number =	{3},
  	pages =	{129-135},
  	publisher =	{Springer},
  	title =	{Decidability of the Termination Problem for Completely Specified Protocols},
  	volume =	{7},
  	year =	{1994},
}

@inproceedings{Tho89,
  author    = {Bent Thomsen},
  title     = {A Calculus of Higher Order Communicating Systems},
  booktitle = {POPL'89},
  year      = {1989},
  pages     = {143--154},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Tho93,
  author    = {Bent Thomsen},
  title     = {Plain {CHOCS}: A Second Generation Calculus for Higher Order
               Processes},
  journal   = {Acta Inf.},
  volume    = {30},
  number    = {1},
  year      = {1993},
  pages     = {1--59},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@phdthesis{Tho90,
   author = {Bent Thomsen},
   title = {Calculi for Higher Order Communicating Systems}, 
   school = {Imperial College},
   year = {1990},
}

@article{San_open,
  author    = {Davide Sangiorgi},
  title     = {The Lazy Lambda Calculus in a Concurrency Scenario},
  journal   = {Inf. Comput.},
  volume    = {111},
  number    = {1},
  year      = {1994},
  pages     = {120--153},
  publisher = {Elsevier},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{ChristensenHM94,
  author    = {S{\o}ren Christensen and
               Yoram Hirshfeld and
               Faron Moller},
  title     = {Decidable Subsets of {CCS}},
  journal   = {Comput. J.},
  volume    = {37},
  number    = {4},
  year      = {1994},
  pages     = {233-242},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{BusiZ04,
  author    = {Nadia Busi and
               Gianluigi Zavattaro},
  title     = {On the expressive power of movement and restriction in pure
               mobile ambients},
  journal   = {Theor. Comput. Sci.},
  volume    = {322},
  number    = {3},
  year      = {2004},
  pages     = {477-515},
  ee        = {http://dx.doi.org/10.1016/j.tcs.2003.10.040},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@inproceedings{BusiGZ03,
  author    = {Nadia Busi and
               Maurizio Gabbrielli and
               Gianluigi Zavattaro},
  title     = {Replication vs. Recursive Definitions in Channel Based Calculi},
  booktitle = {Proc. of ICALP},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {2719},
  year      = {2003},
  pages     = {133-144},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2719/27190133.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@Article{BusiGZ-TR,
  author = 	 {Nadia Busi and
               Maurizio Gabbrielli and
               Gianluigi Zavattaro},
  title = 	 {On the Expressive Power of Recursion, Replication, and Iteration in Process Calculi},
  journal = 	 {Mathematical Structures in Computer Science},
  year = 	 {2008},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTpages = 	 {},
  OPTmonth = 	 {},
  note = 	 {Accepted for publication},
  OPTannote = 	 {}
}



@proceedings{DBLP:conf/icalp/2003,
  editor    = {Jos C. M. Baeten and
               Jan Karel Lenstra and
               Joachim Parrow and
               Gerhard J. Woeginger},
  title     = {Automata, Languages and Programming, 30th International
               Colloquium, ICALP 2003, Eindhoven, The Netherlands, June
               30 - July 4, 2003. Proceedings},
  booktitle = {ICALP},
  year      = {2003},
  isbn      = {3-540-40493-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{BusiGZ04,
  author    = {Busi, N. and
               M. Gabbrielli and
               G. Zavattaro},
  title     = {Comparing Recursion, Replication, and Iteration in Process
               Calculi},
  booktitle = {Proc. of ICALP'04},
  volume    = {3142},
  publisher = {Springer},
  series    = lncs,
  year      = {2004},
  pages     = {307-319},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3142{\&}spage=307},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@Book{Minsky67,
  author = 	 {Minsky, Marvin},
  title = 	 {Computation: Finite and Infinite Machines},
  publisher = 	 {Prentice-Hall},
  year = 	 {1967},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Book{Milner89,
  author = 	 {Robin Milner},
  title = 	 {Comunication and Concurrency},
  publisher = 	 {Prentice Hall},
  year = 	 {1989},
  series = 	 {International Series in Computer Science},
 }

@Article{Post46,
  author = 	 {Post, Emil L.},
  title = 	 {A variant of a recursively unsolvable problem},
  journal = 	 {Bull. of the Am. Math. Soc},
  year = 	 {1946},
  OPTkey = 	 {},
  volume = 	 {52},
  OPTnumber = 	 {},
  pages = 	 {264--268},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@article{HoYo95,
  author    = {Kohei Honda and
               Nobuko Yoshida},
  title     = {On Reduction-Based Process Semantics},
  journal   = {Theor. Comput. Sci.},
  volume    = {151},
  number    = {2},
  year      = {1995},
  pages     = {437-486},
  ee        = {http://dx.doi.org/10.1016/0304-3975(95)00074-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Hir07-conf,
  author    = {Daniel Hirschkoff and
               Damien Pous},
  title     = {A Distribution Law for {CCS} and a New Congruence Result for
               the {\it pi}-Calculus},
  booktitle = {Proc. of FoSSaCS'07},
  year      = {2007},
  pages     = {228--242},
  OPTeditor    = {Helmut Seidl},
  publisher = {Springer},
  series    = lncs,
  volume    = {4423},
}





@Article{Hir07,
  author = 	 {Daniel Hirschkoff and                Damien Pous},
  title = 	 {A Distribution Law for {CCS} and a New Congruence Result for
               the $\pi$-Calculus},
 journal   = {Log. Meth. Comput. Sci.},
  year = 	 {2008},
  volume = 	 {4},
  number = 	 {2},
}



@PhdThesis{Moller88,
  author = 	 {Faron Moller},
  title = 	 {Axioms for Concurrency},
  school = 	 {University of Edinburgh, Dept. of Comp. Sci.},
  year = 	 {1989},
   type = {{PhD} thesis  {CST}--59--89},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Article{MM93,
  author = 	 {Robin Milner and Faron Moller},
  title = 	 {Unique Decomposition of Processes},
  journal = 	 {Theor. Comput. Sci.},
  year = 	 {1993},
  OPTkey = 	 {},
  volume = 	 {107},
  number = 	 {2},
  pages = 	 {357--363},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@article{DovierPP04,
  author    = {Agostino Dovier and
               Carla Piazza and
               Alberto Policriti},
  title     = {An efficient algorithm for computing bisimulation equivalence},
  journal   = {Theor. Comput. Sci.},
  volume    = {311},
  number    = {1-3},
  year      = {2004},
  pages     = {221-256},
  ee        = {http://dx.doi.org/10.1016/S0304-3975(03)00361-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{JR05,
  author    = {Alan Jeffrey and
               Julian Rathke},
  title     = {Contextual equivalence for higher-order pi-calculus revisited},
  journal   = {Log. Meth. Comput. Sci.},
  volume    = {1},
  number    = {1},
  year      = {2005},
  pages     = {1--22},
  ee        = {http://dx.doi.org/10.2168/LMCS-1(1:4)2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{howe,
  author    = {Douglas J. Howe},
  title     = {Proving Congruence of Bisimulation in Functional Programming
               Languages},
  journal   = {Inf. Comput.},
  volume    = {124},
  number    = {2},
  year      = {1996},
  pages     = {103--112},
  publisher = {Elsevier},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}




@Misc{longHOPI,
  author =       {Ivan Lanese and Jorge A. P\'{e}rez and Davide Sangiorgi and Alan Schmitt},
  title =        {{On the Expressiveness and Decidability of Higher-Order Process Calculi ({E}xtended {V}ersion)}},
  note = {\url{http://www.cs.unibo.it/~perez/hocore}},
  year =         {2008},
}

@inproceedings{LanesePSS08,
  author    = {Ivan Lanese and
               Jorge A. P{\'e}rez and
               Davide Sangiorgi and
               Alan Schmitt},
  title     = {On the Expressiveness and Decidability of Higher-Order Process
               Calculi},
  booktitle = {Proc. of LICS'08},
  publisher = {IEEE Computer Society},
  year      = {2008},
  pages     = {145-155},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/LICS.2008.8},
  note      = {An extended version is available at \url{http://www.cs.unibo.it/~perez/hocore}},
}


@inproceedings{Cardelli99,
  author    = {Luca Cardelli},
  title     = {Abstractions for Mobile Computation},
  booktitle = {Secure Internet Programming},
  year      = {1999},
  pages     = {51-94},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1603},
}

